Layered Architecture Consistency for MANETs: Introducing New Team Members

In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher order nets. MANETs are networks of mobile devices that communicate with each other via wireless links without relying on an underlying infrastructure. Workflows in MANETs can be adequately modeled using a layered architecture, where the overall workflow, the team members’ activities and the mobility issues are separated into three different layers, namely the workflow layer, the mobility layer and the team layer. In [PHE+07] a formal notion of layer consistency was suggested. Here we extend that approach to allow changes of the interfaces of the gluing of the workflow and the mobility layer.